3

Implementing tactics and tacticals in a higher-order logic programming language

Year:
1993
Language:
english
File:
PDF, 2.97 MB
english, 1993
8

Interactive Theorem Proving with Temporal Logic

Year:
1997
Language:
english
File:
PDF, 721 KB
english, 1997
10

The calculus of constructions as a framework for proof search with set variable instantiation

Year:
2000
Language:
english
File:
PDF, 279 KB
english, 2000
11

Cache Coherency in SCI: Specification and a Sketch of Correctness

Year:
1999
Language:
english
File:
PDF, 186 KB
english, 1999
12

Hybrid

Year:
2012
Language:
english
File:
PDF, 1.04 MB
english, 2012
13

Current Trends in Logical Frameworks and Metalanguages

Year:
2001
Language:
english
File:
PDF, 28 KB
english, 2001
14

Preface

Year:
2003
Language:
english
File:
PDF, 26 KB
english, 2003
33

[Lecture Notes in Computer Science] Automated Deduction - CADE-25 Volume 9195 ||

Year:
2015
Language:
english
File:
PDF, 18.83 MB
english, 2015